TIMEDTTCN-3 Based Graphical Real-Time Test Specification

نویسندگان

  • Zhen Ru Dai
  • Jens Grabowski
  • Helmut Neukirchen
چکیده

The textual Testing and Test Control Notation (TTCN-3) is frequently used in combination with Message Sequence Chart (MSC) and the MSC-based Graphical Presentation Format for TTCN-3 (GFT). Both, MSC and GFT allow an automatic generation of TTCN-3 test case descriptions. TIMEDTTCN-3 is an extension of TTCN-3 for testing real-time properties and has been submitted for standardization. For a complete integration of TIMEDTTCN-3 into the TTCN-3-based testing process, the usage of TIMEDTTCN-3 in combination with MSC and GFT needs to be established. This paper presents our approach for graphical real-time test specification based on MSC and TIMEDGFT, which is our real-time extension of GFT. We explain how MSC can be used for the description of realtime test purposes and define TIMEDGFT. Our approach includes the automatic generation of TIMEDTTCN-3 test cases based on MSC test purposes and TIMEDGFT diagrams.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Languages, tools and patterns for the specification of distributed real-time tests

For modern distributed systems, it is important that they adhere to realtime requirements, e.g., to deliver a response to a request within a given deadline. For assuring the quality of software systems, testing is the most important means. However, a mature support for real-time testing of distributed systems is missing. This thesis treats languages, tools, and patterns for the specification of...

متن کامل

Using Timed TTCN-3 in Interoperability Testing for Real-Time Communication Systems

Interoperability testing is an important technique to ensure the quality of implementations of network communication software, and real-time protocol interoperability testing is an important issue in this area. TIMEDTTCN-3 is a real-time extension of test specification language TTCN-3. In this paper, test notations for real-time interoperability testing are studied. Test behavior trees are cons...

متن کامل

Timed TTCN-3 - A Real-time Extension for TTCN-3

The Testing and Test Control Notation (TTCN-3) was originally developed as successor of the second edition of the Tree and Tabular Combined Notation. TTCN-3 is a standardized test specification and implementation language to test functional behaviour of distributed systems. TIMEDTTCN-3 is a real-time extension for TTCN-3 that supports the test and measurement of real-time requirements. TIMEDTTC...

متن کامل

TTCN - 3 – A Real - time extension for TTCN - 3

The Testing and Test Control Notation (TTCN-3) was originally developed as successor of the second edition of the Tree and Tabular Combined Notation. TTCN-3 is a standardized test specification and implementation language to test functional behaviour of distributed systems. TIMEDTTCN-3 is a real-time extension for TTCN-3 that supports the test and measurement of real-time requirements. TIMEDTTC...

متن کامل

Constructing Test Automata from Graphical Real-Time Requirements

A semantics for a graphical specification language of real-time properties (Constraint Diagrams) is presented. The new semantics is given in terms of Timed Automata. A model in terms of Timed Automata satisfies the property given by a Constraint Diagram if the model in parallel composition with the semantics of the Constraint Diagram can reach a certain state. This kind of question can be check...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2003